package sketch.random;

import sketch.ounit.Values;
import sketch.specs.annotation.TestSketch;
import treemap.TreeMap;
import junit.framework.TestCase;

public class OnlyRandomValueExamples extends TestCase {
	
	@TestSketch
	public void testingNoRandomValue() {
		TreeMap treemap;
	}
	

	@TestSketch
	public void testSingleRandomValue() {
		TreeMap treemap;
		treemap = Values.random(TreeMap.class);
		treemap.remove(1);
		treemap.remove(2);
	}
	
	@TestSketch
	public void testMultiRandomValues() {
		TreeMap treemap1;
		treemap1 = Values.random(TreeMap.class);
		TreeMap treemap2;
		treemap2 = Values.random(TreeMap.class);
		System.out.println("Size of treemap1: " + treemap1.size());
		System.out.println("Size of treemap2: " + treemap2.size());
	}
	
	@TestSketch
	public void testSingleMutationValue() {
		TreeMap treemap = new TreeMap();
		treemap.put(100);
		treemap.put(99);
		treemap = Values.random(treemap, TreeMap.class);
	}
	
	@TestSketch
	public void testMutlipleMutationValue() {
		TreeMap treemap = new TreeMap();
		treemap.put(1);
		treemap = Values.random(treemap, TreeMap.class);
		treemap.put(23);
		treemap = Values.random(treemap, TreeMap.class);
	}
}
